大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Human-Computer Interaction. Interaction Techniques and Environments [electronic resource] : 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human-Computer Interaction. Design and Development Approaches [electronic resource] : 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Trust and Trustworthy Computing [electronic resource] : 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011. Proceedings

0
索取号：
作者：McCune、 Jonathan M.、Balacheff、 Boris.、Perrig、 Adrian.、Sadeghi、 Ahmad-Reza.、Sasse、 Angela.、Beres、 Yolanta.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Pattern Recognition [electronic resource] : Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings

0
索取号：
作者：Mart铆nez-Trinidad、 Jos茅 Francisco.、Carrasco-Ochoa、 Jes煤s Ariel.、Ben-Youssef Brants、 Cherif.、Hancock、 Edwin Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mathematical Morphology and Its Applications to Image and Signal Processing [electronic resource] : 10th International Symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011. Proceedings

0
索取号：
作者：Soille、 Pierre.、Pesaresi、 Martino.、Ouzounis、 Georgios K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Modelling Foundations and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

0
索取号：
作者：France、 Robert B.、Kuester、 Jochen M.、Bordbar、 Behzad.、Paige、 Richard F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

0
索取号：
作者：Butler、 Michael.、Schulte、 Wolfram.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations on Natural and Artificial Computation [electronic resource] : 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I

0
索取号：
作者：Ferr谩ndez、 Jos茅 Manuel.、脕lvarez S谩nchez、 Jos茅 Ram贸n.、Paz、 F茅lix.、Toledo、 F. Javier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Damped Oscillations of Linear Systems [electronic resource] : A Mathematical Introduction

0
索取号：
作者：Veseli膰、 Kre拧imir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [electronic resource] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

0
索取号：
作者：Calinescu、 Radu.、Jackson、 Ethan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Image Analysis [electronic resource] : 17th Scandinavian Conference, SCIA 2011, Ystad, Sweden, May 2011. Proceedings

0
索取号：
作者：Heyden、 Anders.、Kahl、 Fredrik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Ubiquitous Computing and Multimedia Applications [electronic resource] : Second International Conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011. Proceedings, Part II

0
索取号：
作者：Kim、 Tai-hoon.、Adeli、 Hojjat.、Robles、 Rosslin John.、Balitanas、 Maricel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Ubiquitous Computing and Multimedia Applications [electronic resource] : Second International Conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011. Proceedings, Part I

0
索取号：
作者：Kim、 Tai-hoon.、Adeli、 Hojjat.、Robles、 Rosslin John.、Balitanas、 Maricel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Incidence Geometry [electronic resource] : Projective and Polar Spaces

0
索取号：
作者：Ueberberg、 Johannes.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Innovative Computing Methods and Their Applications to Engineering Problems [electronic resource]

0
索取号：
作者：Nedjah、 Nadia.、Santos Coelho、 Leandro.、Mariani、 Viviana Cocco.、Macedo Mourelle、 Luiza.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Cloud Computing [electronic resource] : Web-Based Dynamic IT Services

0
索取号：
作者：Baun、 Christian.、Kunze、 Marcel.、Nimis、 Jens.、Tai、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.